@font-face {
	font-family: 'Source Serif Pro';
	font-style: normal;
	font-weight: 400;
	src: url('fonts/serifpro4.eot'); /* IE9 Compat Modes */
	src: local('Source Serif Pro'), local('SourceSerifPro-Regular'),
		 url('fonts/serifpro4.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
		 url('fonts/serifpro4.woff2') format('woff2'), /* Super Modern Browsers */
		 url('fonts/serifpro4.woff') format('woff'), /* Modern Browsers */
		 url('fonts/serifpro4.ttf') format('truetype'), /* Safari, Android, iOS */
		 url('fonts/serifpro4.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
}

a {
	font-family: 'Source Serif Pro', serif;
	font-size: 100%;
}

p, button, input, h3, li, .mainfont {
	font-family: 'Source Serif Pro', serif;
	font-size: 90%;
	color: #454545;
}

h3 {
	font-weight: 600;
	color: #2c3e50;
}

.katex {
	font-size: 1.2em !important;
	color: #454545;
}
